#ifndef _INTERRUPT_MONITOR__H_
#define _INTERRUPT_MONITOR__H_


int  start_interrupts_monitor(void   );
int  stop_interrupts_monitor( void   );

int  is_interrupts_monitor( void   );
int  reset_interrupts_monitor( int cpu   );
int  reset_all_interrupts_monitor( void );

void read_interrupts_monitor (void * );



#endif /* _INTERRUPT_MONITOR_H_ */


